digraph TS_1 {
b1 -> b2 [label="a"]
b2 -> b2 [label="h"]
b2 -> b3 [label="c"]
[initial = {b1} ]
[final = {b3} ]
}
